O.A. VOOR OUDE NUMMERS EN ARCHIEF www.heienwei.nl hei & wei met de officiële mededelingen Gemeente Blaricum

Source URL: www.heienwei.nl

O.A. VOOR OUDE NUMMERS EN ARCHIEF www.heienwei.nl hei & wei

Source URL: www.heienwei.nl

O.A. VOOR OUDE NUMMERS EN ARCHIEF www.heienwei.nl hei & wei met de officiële mededelingen Gemeente Blaricum

Source URL: www.heienwei.nl

Icon-based Visualization of Large High-Dimensional Datasets Ping Chen∗ Chenyi Hu† Wei Ding‡

Source URL: www.cs.umb.edu

• Computer graphics
• Data analysis
• Scientific modeling
• Data visualization
• Data mining
• Computer icon
• Dimension
• Glyph
• Scientific visualization
• Science
• Visualization
• Infographics

Mining Regional Knowledge in Spatial Datasets Wei Ding Christoph. F. Eick Computer Science Department, University of Houston, TX {wding, ceick}@uh.edu Abstract

Source URL: www.cs.umb.edu

• Geostatistics
• Multivariate statistics
• Cluster analysis
• Machine learning
• Association rule learning
• Spatial database
• Geographic information system
• Statistics
• Data mining
• Data analysis

Using detailed balance theory to describe the electroluminescence in organic solar cells Thomas Kirchartz, Mark Faist, Wei Gong, and Jenny Nelson

Source URL: organext.org

• Energy conversion
• Optoelectronics
• Semiconductor devices
• Solar cells
• Carrier generation and recombination
• Quantum efficiency
• Phenyl-C61-butyric acid methyl ester
• Recombination
• Physics
• Technology
• Energy

MASON COUNTY, WV 2015 SCHEDULE OF EVENTS April April 1-November 15: West Virginia State Farm Museum open MAY

Source URL: www.pprivermuseum.com

• Kanawha River
• Point Pleasant
• West Virginia
• West Virginia Route 2
• Tu-Endie-Wei State Park
• Fort Randolph
• Mason County
• West Virginia
• Mothman
• West Virginia
• Point Pleasant micropolitan area
• Southern United States

Runtime Checking for Separation Logic Huu Hai Nguyen1 , Viktor Kuncak2 , and Wei-Ngan Chin1,3 1 3

Source URL: lara.epfl.ch

• Mathematical logic
• Program logic
• Formal methods
• Postcondition
• First-order logic
• Hoare logic
• Model checking
• Separation logic
• Well-formed formula
• Theoretical computer science
• Logic in computer science
• Logic

ConMem: Detecting Severe Concurrency Bugs through an Effect-Oriented Approach Wei Zhang Chong Sun

Source URL: people.cs.uchicago.edu

• Computer programming
• Dangling pointer
• Pointer
• Stack buffer overflow
• Debugging
• Memory leak
• Lock
• Buffer overflow
• C dynamic memory allocation
• Computing
• Software bugs
• Software engineering

Tango: Distributed Data Structures over a Shared Log Mahesh Balakrishnan∗, Dahlia Malkhi∗, Ted Wobber∗, Ming Wu‡, Vijayan Prabhakaran∗ Michael Wei§, John D. Davis∗, Sriram Rao†, Tao Zou¶, Aviad Zuckk ∗

Source URL: www.cs.cornell.edu

• Database management systems
• Relational database management systems
• Extensible Storage Engine
• Algorithms for Recovery and Isolation Exploiting Semantics
• Oracle Database
• TANGO
• Replication
• Database
• Data management
• Software
• Computing